Research on teachers’ professional identity integrates many constructs that are treated independently in most cases. This study described the associations between components of teacher professional identity and their association with teachers’ general pedagogical beliefs. Secondary teachers completed a survey about several components of their identity and general pedagogical beliefs. Multidimensional scaling revealed that the components could be mapped on two dimensions: form of motivation and degree of subject specificity. The resulting map revealed four meaningful groups of components. Furthermore, whereas direct (...) transmission general pedagogical beliefs were found to be strongly tied to an identity grounded in the subject taught, constructivist beliefs were independent of identity components. This study provides new insight into the stru... (shrink)

Nach den Teilen I (1973), II (1979), III (1988) und IV (1994) liegt hiermit der vorletzte Band des wohl umfangreichsten Übersetzungs- und Kommentieriungswerkes vor, das jemals einem byzantinischen Geschichtsschreiber gewidmet wurde. Leider war es aber dem unermüdlichen Bearbeiter nicht beschieden, sein großes Unternehmen noch mit dem sechsten Teil abzuschließen. Van Dieten ist am 26. 12. 2003 kurz vor seinem 80. Geburtstag gestorben.

Modernity is Apocalyptic in essence. This assertion is stated nowhere in The Triumph of Human Empire by Rosalind Williams, nor in l’Apocalypse Joyeuse by Jean-Baptiste Fressoz. But it is everywhere on the pages of these books, which recount the ambivalence with which the project of Modernity and its technological feats has been received in specific times and places, notably nineteenth century Europe. Essence here is not to be understood as transcendental a-historical necessity, but as unfolding historical ontology. Despite contingencies, (...) the project of Modernity has continued to realise a secular ending of the world by continuing to conquer and destroy it.In The Triumph of Human Empire we encounter ambivalence through the biographies and works of three European writers, who employed the genre of romance to express their uneasiness with modern civilisation and progress: Jules Verne, William Morris and Louis Stevenson. Verne is perhaps the writer which we would least expect to have probl .. (shrink)

Les écrits manuscrits ou imprimés du chirurgien accoucheur Jean-Louis Baudelocque et ceux de ses principaux rivaux, éclairent les enjeux de pouvoir et les stratégies d’occupation de l’espace pédagogique et éditorial dans le domaine obstétrical dans les années 1770-1780. L’établissement d’un stemma explicitant les modes de production des écrits de Baudelocque, puis l’analyse comparative de ces différents écrits, enfin celle des accusations de plagiat et des jugements contemporains portés sur son œuvre et sur ce qu’il doit à son maître (...) Solayrés de Renhac, permettent de comprendre la production par Baudelocque d’un savoir obstétrical propre associée à de nouvelles stratégies éditoriales. (shrink)

Inλ-calculus, the strategy of leftmost reduction (“call-by-name”) is known to have good mathematical properties; in particular, it always terminates when applied to a normalizable term. On the other hand, with this strategy, the argument of a function is re-evaluated at each time it is used.To avoid this drawback, we define the notion of “storage operator”, for each data type. IfT is a storage operator for integers, for example, let us replace the evaluation, by leftmost reduction, ofϕτ (whereτ is an integer, (...) andϕ anyλ-term) by the evaluation oftτϕ. Then, this computation is the same as the following: first computeτ up to some reduced formτ 0, and then applyϕ toτ 0. So, we have simulated “call-by-value” evaluation within the strategy of leftmost reduction.The main theorem of the paper (Corollary of Theorem 4.1) shows that, in a second orderλ-calculus, using Gödel's translation of classical intuitionistic logic, we can find a very simple type (or specification) for storage operators. Thus, it gives a way to get such operators, which is to prove this type in second order intuitionistic predicate calculus. (shrink)

L’apologétique a pris un nouveau visage aujourd’hui. Jadis, au temps des Pères, elle vivait en tension entre le désir d’être communicable et en même temps pointe acérée de la nouveauté chrétienne. Cette tension se met ensuite au service de l’approfondissement et de la réassurance, ce qu’il convient de nommer conversion, c’est-à-dire une religion plus fervente. Une deuxième tension de l’apologétique la situe entre la fermeté de la révélation et l’humilité de son témoin. La troisième tension s’exerce entre continuité et rupture (...) de la foi avec la mondanité. Plus tard, la dénonciation pascalienne de l’indifférence des hommes à rechercher la vérité affronte l’incroyance et elle a connu une riche postérité. Issue d’une conception dramatique de l’existence, elle l’ouvre à l’espérance chrétienne. La parole du salut a toujours à dégager l’espace dans lequel elle pourra retentir. (shrink)

Que signifie l’Europe pour les juristes? La première réponse, de caractère descriptif, renvoie aux deux ordres juridiques européens, celui de l’Union Européenne et celui du Conseil de l’Europe. Ces deux ordres juridiques reposent sur des traités et les États qui adhèrent à ces traités sont reconnus comme « européens ». Le concept juridique d’Europe est donc distinct du concept géographique : il intègre des territoires situés en Asie ou outremer. L’Europe juridique ne correspond pas non plus à un peuple européen, (...) mais à une pluralité de peuples reliés à des États-nations dont les institutions démocratiques ont approuvé l’adhésion à l’Europe. La soumission au droit des traités européens est ainsi à la base, conventionnelle, de l’Europe juridique. Cette situation peut être envisagée comme une série de fictions qui ont donné naissance à un réseau, relativement stables, de règles sur la protection des droits de l’homme. C’est ce droit cosmopolite des droits de l’homme qui peut être considéré comme la structure fondamentale du concept juridique d’Europe. (shrink)

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre. Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul. Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver la spécification associée (...) à un théorème donné; autrement dit, de déterminer le comportement opérationnel commun aux λ-termes associés aux diverses démonstrations formelles du théorème considéré.Cette question est résolue ici pour le théorème de complétude de la logique classique.La première étape consiste à formaliser convenablement ce théorème en logique du second ordre. Ce travail est fait complètement dans la section 1. Il a comme sous-produit, peut-être inattendu, de montrer que ce théorème est prouvable en logique intuitionniste du second ordre. Ceci, toutefois, à condition d'introduire une légère variante de la notion de modèle, en admettant un modèle supplémentaire trivial, où toute formule est satisfaite.On notera, à ce sujet, que des preuves intuitionnistes du théorème de complétude de la logique intuitionniste, utilisant des variantes de la notion de modele de Kripke, ont été données par H. Friedman [7] et W. Veldman [8]. On remarquera également qu'un argument de G. Kreisel [2] montre que le théorème de complétude habituel de la logique intuitionniste n'a pas de preuve intuitionniste. (shrink)

La défense canguilhemienne de l’institution philosophique s’inscrit dans une lignée républicaine ; cette attitude diffère de celle propre à certains de ses contemporains (Nizan), ou de ses cadets (Althusser, Foucault). Canguilhem a toujours défendu l’importance de la philosophie quand elle était menacée par les sciences humaines et sociales, tant au moment du succès de l’existentialisme que pendant le structuralisme des années 1960 ; il fut, en même temps, le critique de certaines manières de concevoir la philosophie (existentialiste ou spiritualiste), de (...) certaines modes de sa pratique (journalistique ou littéraire), et un innovateur en matière de pédagogie. (shrink)

Georges Kalinowski, né en 1916 à Lublin, est dédédé le 21 octobre 2000 à Dijon, où, depuis la mort de son épouse, il s'était retiré auprès de sa fille, son gendre et ses petits-enfants.

Quel est le fondement du lien social? La réponse à cette question doit être cherchée au coeur du domaine de l'éthique, dans ce que nous appelons la responsabilité.¦Aboutissement d'un processus d'apprentissage auquel participent les nombreuses institutions qui, comme la famille, assurent la socialisation, la responsabilité constitute la spécificité de l'activité et des relations humaines et sociales.¦C'es elle qui permet de comprendre que nous sommes fiers de nos réussites... honteux ou désespérés de nos échecs. C'es elle qui justifie les scrupules que (...) nous pouvons avoir à l'égard d'autrui, l'indignation que nous éprouvons face à la souffrance ou encore l'attachement qui nous lie à nos proches... Mais c'est aussi à elle qu'en appellera la justice pour évaluer et sanctionner nos fautes...¦Prenant d'abord ses distances par rapport aux grandes approches sociologiques de l'activité morale, l'auteur montre ensuite comment s'opère l'apprentissage social de la responsabilité et comment naissent les grandes valeurs (équité, respect, sincérité, autonomie,...) qui structurent les engagements et les débats éthiques. Il évoque enfin les risques qui menacent aujourd'hui la responsabilité.¦Au travers de ce livre, J.L. Genard tente de relaver le défi épistémologique auquel l'actuel retour de la réflexion éthique confronte la pensée sociologique. (shrink)

Résumé Nous verrons que le désintérêt à peine voilé de Michael Sheringham, comme de Philippe Lejeune avant lui, à l’ égard des Mémoires d’ une jeune fille rangée tient à leur valorisation excessive du pacte autobiographique. Or, tout en s’ inscrivant dans la nébuleuse des autobiographies existentialistes, le récit de Simone de Beauvoir s’ en démarque, en particulier par le rôle qu’ y joue le genre des Mémoires en creux, ou plus précisément à l’ horizon du texte de 1958. Il (...) s’ agira de montrer que le premier volume du cycle beauvoirien occupe au sein des récits de soi existentialistes une place beaucoup plus centrale que ne l’ envisageait Sheringham dans French Autobiography. (shrink)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

Lo studio degli interventi politici repubblicani fiorentini dopo il 1494 (prediche savonaroliane, testi d'intervento, discorsi, dialoghi, cronache e storie) mette in rilievo in quest'articolo la nascita di una nuova lingua della politica, più immediata, più efficace, più precisa, più chiara che intende render conto dei tempi nuovi della guerra permanente e del suo stato d'emergenza. Questa retorica inedita porta quindi in sé nuove forme di razionalità politica che portono con sé buona parte dell'aurora della politica moderna.

Ce texte a déjà paru dans la revue EspacesTemps le 30/05/2019. Résumé : À bien des égards, les politiques mais aussi les pratiques de la ville connaissent aujourd'hui ce que l'on pourrait appeler un « tournant esthétique ». La plupart du temps, ce tournant fait l'objet d'analyses centrées sur l'une ou l'autre de ses composantes, comme par exemple la montée des référentiels de la ville créative ou de l'attractivité, mais sans que ne soit pleinement réfléchie leur portée esthétique, au sens (...) plein du terme, - Urbanisme – Nouvel article. (shrink)

Artificial intelligency can bring speed and reliability to drug discovery process. It represents an additional intelligence, which in any case can replace the strategic and logic creative insight of the medicinal chemist who remains the architect and molecule master designer. In terms of drug design, artificial intelligency, deep learning machines, and other revolutionary technologies will match with the medicinal chemist’s natural intelligency, but for sure never go beyond. This manuscript tries to assess the impact of the artificial intelligency on drug (...) discovery today. (shrink)

The immemorial and recollection -- The reserve of forgetting -- The unforgettable -- The sudden and the unhoped for -- Retrospection.

Comment et pourquoi affirmer que l'humanisme d'un penseur catholique du XVIIe siècle peut nous guider dans la compréhension de phénomènes culturels contemporains, c'est in fine la question qui commande cette étude rigoureuse et audacieuse. Faire dialoguer de façon féconde le projet de Blaise Pascal et la pop culture, appréhendée à partir des tribus musicales punk, rock, skinhead, gothique, hip-hop et électro, c'est l'objectif du travail de Jean-Louis Bischoff.

Foucault a décrit quelques dispositifs qui articulent pouvoir et savoir, mais cela ne permet pas de rendre compte d’un certain nombre d’institutions ou d’appareils ayant affaire au visible – comme la perspective, le musée, la photographie, etc. – ou au musical – comme l’opéra ou le son. Ces derniers interviennent à un niveau plus fondamental, celui de la sensibilité commune ou du pré-individuel en faisant époque et monde. Dans cette série, le musée a une place à part puisqu’il sépare dans (...) l’œuvre d’art ce qui relevait de cette puissance de destination de l’esthétique elle-même. C’est la raison pour laquelle il n’appartient pas aux différents théâtres de mémoire qui donnent leur assise aux sociétés. Certes le musée peut être le lieu de l’histoire de l’art, mais surtout il fait entrer les œuvres dans une communication générale où la plus récente invente le passé comme sa cause matérielle. (shrink)

Que se cache-t-il derrière L'Esprit Matériel ?

Nous proposons de voir dans le Chant III de l’ Enfer une explication éminemment philosophique de l’Enfer, en montrant que ce que Dante y met en place n’est rien moins qu’une théodicée. Dante proclame ainsi ouvertement que non seulement l’Enfer est l’œuvre de Dieu, mais peut-être même ce qu’il y a de plus réussi dans la création. Se dessinent dans ces vers une théorie grandiose de la justice et du libre arbitre, mais aussi une théorie de l’histoire, puisque c’est au (...) titre de l’usage de son libre arbitre que l’individu peut exister et entrer dans l’histoire pour s’inscrire, ensuite, dans le récit dantesque. D’où l’exclusion des « pusillanimes » qui refusent de choisir entre le bien et le mal et n’usent point de leur libre arbitre – lâcheté qui leur vaut de ne pas même être admis en Enfer. Il y a peut-être là comme la racine de l’extraordinaire violence dont est capable Dante et qui fait la puissance de La Divine Comédie. (shrink)

Dans les traditions philosophiques occidentales, c'est à la critique développée par la pensée marxiste que l'on doit de pouvoir aborder l'oeuvre de Moses Hess (1812-1875). Pourtant, le "rabbin des communistes", comme on l'a appelé, fut l'un des penseurs du XIXe siècle qui questionna au plus près les conditions de la liberté et de l'égalité sociales, en même temps qu'il ouvrit la voie à l'idée d'un foyer juif en Palestine, où cette liberté et cette égalité se seraient pleinement épanouies. Dans les (...) études juives, la philosophie de Moses Hess est rarement évoquée, si l'on excepte quelques commentaires qui font de lui ce "communiste et sioniste, qui joua un rôle décisif dans le premier mouvement et inventa virtuellement le second". Le livre de Jean-Louis Bertocchi veut porter un éclairage nouveau sur cette oeuvre pionnière et singulière à bien des égards, dont le coeur est bel et bien la discussion serrée, "en accord divergeant", de la pensée de Spinoza, lu attentivement par Marx lui-même, et qui, dans le ciel d'un humanisme juif émancipé et émancipateur, dessine une constellation en perpétuel mouvement, où scintillent tour à tour philosophie, communisme et sionisme."--Page 4 of cover. (shrink)